#ifndef __I386_KERNEL_TIMEX_H__
#define __I386_KERNEL_TIMEX_H__

// from include/asm-i386/timex.h
#define CLOCK_TICK_RATE 1193182 /* Underlying HZ */

#endif // __I386_KERNEL_TIMEX_H__
